Constraint programming - PDFSEARCH.IO - Document Search Engine

Constraint programming
Results: 1169

#	Item
301	REASONING ABOUT SECURE INTEROPERATION USING SOFT CONSTRAINTS Stefano Bistarelli1,2 , Simon N. Foley3 , Barry O’Sullivan3,4 1 Istituto di Informatica e Telematica, CNR, Pisa, Italy, Add to Reading List Source URL: www.cs.ucc.ie Language: English - Date: 2004-10-08 09:08:21 Access control Ring theory Semiring Constraint satisfaction Interoperation Constraint programming Ring Computing Security Software engineering
302	Hindley-Milner Elaboration in Applicative Style Functional pearl François Pottier INRIA Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2014-06-12 04:54:36 Computing Constraint satisfaction problem Type class Lambda calculus Normalisation by evaluation Constraint inference Declarative programming Constraint programming Software engineering
303	VODCA 2004 Preliminary Version Soft Constraints for Security Giampaolo Bella 1 Dipartimento di Matematica e Informatica, Universit` a di Catania, Italy Add to Reading List Source URL: www.cs.ucc.ie Language: English - Date: 2004-12-20 08:53:54 Semiring Artificial intelligence Constraint programming Computing Constraint satisfaction
304	Syntax-Guided Synthesis Rajeev Alur† Sanjit A. Seshia‡ Rastislav Bodik‡ Rishabh Singh] Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2013-09-22 01:23:29 Constraint programming Formal methods Programming paradigms Predicate logic Satisfiability Modulo Theories Program synthesis Algorithm First-order logic Function Mathematics Theoretical computer science Applied mathematics
305	Optimising Quantified Expressions in Constraint Models Ian Gent, Ian Miguel, and Andrea Rendl University of St Andrews School of Computer Science, North Haugh, St Andrews, Scotland, UK ipg,ianm, Add to Reading List Source URL: andrearendl.com Language: English - Date: 2013-08-29 08:24:32 Sudoku algorithms Constraint programming Declarative programming Exact cover
306	An Optimal Arc Consistency Algorithm for a Particular Case of Sequence Constraint Mohamed Siala1,2 , Emmanuel Hebrard1,3 , and Marie-Jos´e Huguet1,2 1 CNRS, LAAS, 7 avenue du colonel Roche, FToulouse, France Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2013-08-28 03:01:20 Constraint satisfaction problem Constraint programming Local consistency Computing
307	The Generic Eclipse Modeling System Jules White, Douglas C. Schmidt, Sean Mulligan Vanderbilt University, EECS Nashville, TN, USA {jules,schmidt}@dre.vanderbilt.edu Add to Reading List Source URL: www.dsmforum.org Language: English - Date: 2007-06-19 10:22:00 Eclipse Generic Eclipse Modeling System Graphical Modeling Framework Eclipse Modeling Framework Domain-specific modeling Modeling language Model-driven engineering Domain-specific language Constraint programming Computing Software engineering Software
308	A Constraint Solver for Software Engineering: Finding Models and Cores of Large Relational Specifications by Emina Torlak Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:58 NP-complete problems Constraint programming Logic in computer science Propositional calculus Unsatisfiable core Electronic design automation Boolean satisfiability problem Symmetry Satisfiability Theoretical computer science Mathematics Applied mathematics
309	The LIR Domain Decomposition System applied to Cartesian Grids July 12, 2012 We introduce a novel multi-dimensional domain decomposition method. A new type of tree combines the advantages of the octree and the Add to Reading List Source URL: www-hagen.cs.uni-kl.de Language: English - Date: 2014-05-22 09:33:44 Decomposition method CW complex Numerical linear algebra Algebra Mathematics Constraint programming
310	An Algorithm for Checking the Disjointness of Types Manfred Widera Fachbereich Informatik FernUniversität HagenHagen Germany Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:09 Computing Data types Constraint programming Inference Program analysis Type system Type inference Function Monad Software engineering Type theory Mathematics

UPDATE